661. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
662. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
663. New Trends in fuzzy logic:Proceedings of the second Italian workshop on fuzzy logic, Bari, Italy, 19-20 march 1997
پدیدآورنده : editors Palma Blonda and ...]et al[
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Fuzzy Logic- Congresses
664. New directions in logic, language and computation
پدیدآورنده : Daniel Lassiter, Marija Slavkovik (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
E97
2010eb
665. New trends in applied artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Industrial applications ; Congresses. ; Fuzzy systems ; Industrial applications ; Congresses. ; Fuzzy logic ; Industrial applications ; Congresses. ;
666. New trends in fuzzy logic II: proceedings of the Second Italian Workshop on Fuzzy Logic, Bari, Italy, 19-20 March 1997
پدیدآورنده : editors, Palma Blonda, Marcello Castellano, Alfredo Petrosino
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Fuzzy logic
رده :
QA
9
.
64
.
I83
1997
667. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
668. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
669. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
670. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
671. Non-standard analysis
پدیدآورنده : / Abraham Robinson revised edition
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974
672. Nonclassical logics and information processing : International Workshop, Berlin, November 9-10, 1990 : proceedings
پدیدآورنده : D. Pearce, H. Wansing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
619
673. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده : G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
659
674. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
پدیدآورنده : J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
543
675. Organon
پدیدآورنده : Aristote; traduction par J. Tricot
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Aristotle. Organon --Congresses,Logic,Metaphysics
676. Paraconsistency :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Inconsistency (Logic) ; Congresses ;
677. Paraconsistency :
پدیدآورنده : edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Inconsistency (Logic), Congresses.,Inconsistency (Logic),PHILOSOPHY-- Logic.
رده :
BC199
.
I45
W67
2002eb
678. Paraconsistency
پدیدآورنده : / Koji Tanaka
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Inconsistency (Logic) -- Congresses,Science -- Philosophy -- Congresses,تناقض(منطق) - کنگره ها,علم - فلسفه - کنگره ها
رده :
BC199
.
T32
2013
679. Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in Sao Paulo
پدیدآورنده : edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Inconsistency )Logic(
رده :
BC
199
.
I45W6
2000
680. Parallel execution of logic programs : ICLP'91 Pre- Conference workshop, Paris, June 24, 1991 : proceedings
پدیدآورنده : A. Beaumont, G. Gupta )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
569
